top_command (Cmd_load currentFile [])
top_command (Cmd_compile NonExistingBackend currentFile [])
